$\forall$$i$, $j$:$\mathbb{Z}$. ($i$ $\geq$ $j$ ) $\Rightarrow$ (({-}$i$) $\leq$ ({-}$j$))